Voyage littéraire en temps d’épidémie

Calculateurs arithmétiques en temps réel

Au temps en emporte le C

Le (bon) séquencement des événements au fil du temps est un sujet important pour l’analyse de programmes, par exemple dans le cadre de protocoles d’échange d’information ou de systèmes embarqués. De nombreux travaux s’appuient sur la logique temporelle linéaire (LTL) pour décrire formellement le comportement attendu d’un programme, sous la forme d’une succession d’actions distinctes. Implanté a...

le cheque de voyage (en france)

-

ATLAS : planification multi-satellite dynamique en temps réel

Mission planning for a constellation of satellites is a complex problem raising significant technological challenges for tomorrow’s space systems. The large numbers of customers requests and their dynamic introduction result in a huge combinatorial search space. Today’s techniques have several limitations, in particular, it is impossible to dynamically adapt the plan during its construction, an...

Synthèse de flux de messages en temps réel

Monitoring stream of social media posts has attracted significant attention in the last view years. Real time summarization in microblog aims at providing new relevant and non redundant information about an event as soon as it occurs. In this paper, we propose a novel continuous summarization approach in which information updates are pushed in real time. The decision to select/ignore incoming i...